TSTP Solution File: DAT282^1 by SInE---0.4